L UDOCORE: A Logical Game Engine for Modeling Videogames Adam M. Smith, Mark J. Nelson, and Michael Mateas Abstract— L UDOCORE is a logical “game engine”, linking game rules as reasoned about by game designers to t

Source URL: game.itu.dk

• Leisure
• Mathematical logic
• Video game development
• Logic
• Game design
• Conceptual model
• Metaphor
• Simulation
• Gameplay
• The Trace
• Knowledge representation and reasoning
• Artificial intelligence

UCL Working Papers in LinguisticsOn generics* ANNA PAPAFRAGOU Abstract

Source URL: papafragou.psych.udel.edu

• Semantics
• Quantification
• Philosophy of language
• Grammar
• Philosophical logic
• Proposition
• Logical Form
• Quantifier
• Meaning
• Logic
• Existential quantification

Algorithmic Meta-Theorems Stephan Kreutzer Oxford University Computing Laboratory Abstract. Algorithmic meta-theorems are general algorithmic results

Source URL: logic.las.tu-berlin.de

REDUCING HIGHER-ORDER THEOREM PROVING TO A SEQUENCE OF SAT PROBLEMS CHAD E. BROWN Abstract. We describe a complete theorem proving procedure for higher-order logic that uses SAT-solving to do much of the

Source URL: www.ps.uni-saarland.de

Automatic Modular Abstractions for Template Numerical Constraints∗ David Monniaux† May 26, 2010 Abstract

Source URL: www-verimag.imag.fr

• Logic
• Mathematics
• Mathematical logic
• Model theory
• Quantification
• Metalogic
• Predicate logic
• Logic in computer science
• Quantifier elimination
• Abstract interpretation
• Quantifier
• FO

Improving Strategies via SMT Solving Thomas Martin Gawlitza ∗ David Monniaux†

Source URL: www-verimag.imag.fr

• Algebra
• Mathematics
• Software engineering
• Predicate logic
• Abstract interpretation
• Galois connection
• Galois theory
• Order theory
• Linear map
• Free variables and bound variables
• Loop invariant
• Flow chart language

A Dynamic-Epistemic Logic for Mobile Structured Agents Anya Yermakova and Alexandru Baltag Abstract Multi-agent systems have been studied in various contexts of both application and theory. We take Dynamic Epistemic Logi

Source URL: anyayermakova.com

An Abstract Algebraic Logic view on Judgment Aggregation? Mar´ıa Esteban1 , Alessandra Palmigiano2,3 , and Zhiguang Zhao2 1 2

Source URL: www.appliedlogictudelft.nl

Denotational semantics for lazy initialization of letrec black holes as exceptions rather than divergence Keiko Nakata Institute of Cybernetics at Tallinn University of Technology Abstract We present a denotational seman

Source URL: www.cs.ioc.ee

• Theoretical computer science
• Models of computation
• Mathematical logic
• Software engineering
• Computability theory
• Denotational semantics
• Logic in computer science
• Lambda calculus
• Substitution
• Function type

POSH - The Prolog OWL Shell Chris Mungall Abstract. Two of the most common ways of processing and manipulating OWL ontologies are through an ontology editing environment (e.g. Protege or TopBraid) or via a programmatic i

Source URL: webont.org

• Semantic Web
• Resource Description Framework
• Information science
• Knowledge engineering
• Knowledge representation
• Web Ontology Language
• Semantic reasoner
• Prolog
• Description logic
• Ontology
• Jena
• SPARQL